Narrow your search

Library

FARO (6)

KU Leuven (6)

LUCA School of Arts (6)

Odisee (6)

Thomas More Kempen (6)

Thomas More Mechelen (6)

UCLL (6)

ULB (6)

ULiège (6)

VIVES (6)

More...

Resource type

book (6)


Language

French (4)

English (2)


Year
From To Submit

2022 (2)

2021 (1)

2020 (1)

2019 (2)

Listing 1 - 6 of 6
Sort by

Book
L’algorithmique répartie : à la recherche de l’universalité perdue : Leçon inaugurale prononcée au Collège de France le jeudi 25 octobre 2018
Authors: ---
ISBN: 2722605279 2213712409 Year: 2019 Publisher: Paris : Collège de France,

Loading...
Export citation

Choose an application

Bookmark

Abstract

Les algorithmes existent depuis que l’humain essaie de calculer. Au Moyen Âge, leur exécution est déléguée à des machines. En 1936, Alan Turing propose une machine universelle, exécutant tous les algorithmes possibles et imaginables, et donne ainsi naissance à l’ordinateur et à l’informatique. L’invention des réseaux, à partir des années 1960, a permis d’aller encore plus loin avec l’informatique répartie, connectant des ordinateurs dans de grands réseaux comme Internet et des processeurs dans de petits réseaux à l’intérieur de chacun des ordinateurs. L’objectif était de créer une super-machine, indestructible et ultra-rapide. Mais la recherche de ces « super-pouvoirs » a entraîné la perte de l’universalité. L’algorithmique répartie étudie les conditions permettant de retrouver l’universalité de Turing, ou des formes d’universalités restreintes réalisables.


Book
Le calcul mental entre sens et technique
Authors: --- ---
ISBN: 9782848671987 284867198X 2848677538 Year: 2020 Publisher: Besançon : Presses universitaires de Franche-Comté,

Loading...
Export citation

Choose an application

Bookmark

Abstract

Cet ouvrage présente une synthèse de recherches sur l’enseignement du calcul mental, la résolution de problèmes et l’apprentissage de techniques opératoires. Après un chapitre présentant l’évolution des programmes d’enseignement du calcul mental depuis la création de l’école publique jusqu’à nos jours, quatre chapitres étudient les liens existant entre sens et technique. Deux chapitres s’intéressent aux relations entre connaissances numériques et procédures mobilisées par les élèves lors d’activités de calcul mental ou dans le cadre d’un environnement informatique ; deux autres traitent de l’influence d’une pratique régulière de calcul mental sur la résolution de problèmes numériques. Enfin, trois chapitres portent sur l’étude de difficultés rencontrées par les élèves, notamment ceux scolarisés en ZEP (zones d’éducation prioritaires). Des cheminements cognitifs susceptibles de favoriser leurs apprentissages sont mis en évidence. Des leviers d’enseignement, des exemples d’activités et de programmation, de l’école élémentaire aux deux premières années de collège, sont proposés aux professeurs pour aider ces élèves à dépasser leurs difficultés. Cet ouvrage s’adresse aux chercheurs en didactique des mathématiques, aux enseignants de collège, aux professeurs des écoles, aux formateurs IUFM et plus largement, à toute personne intéressée par le sujet. Un glossaire de didactique favorise au non-chercheur la lecture du vocabulaire technique.


Book
Le livre sur les calculs effectués avec des bâtonnets : Un manuscrit du – iie siècle excavé à Zhangjiashan
Author:
ISBN: 2858313091 2858313083 Year: 2019 Publisher: Paris : Presses de l’Inalco,

Loading...
Export citation

Choose an application

Bookmark

Abstract

L’ouvrage présente, traduit et commente le Suan shu shu 算數書, un manuscrit chinois du – IIe siècle excavé pendant l’hiver 1983-84. Sa découverte a bouleversé les connaissances sur les sources anciennes des mathématiques en Chine. La traduction et ses commentaires permettent de mieux comprendre le texte et son contexte, ils mettent en résonnance l’archéologie des textes excavés, le chinois ancien, l’histoire des mathématiques et la vie en Chine sous les Han. La traduction française est accompagnée du texte original, de sa transcription pinyin et d’un mot-à-mot. This book presents, translates and comments the Suan shu shu 算數書, a Chinese manuscript of the 2nd century BCE excavated during the winter 1983-84. Its discovery challenged what was known of the ancient sources of the mathematics in China. The translation and commentaries help understand the text and its context, they connect the archaeology of excavated texts, old Chinese, the history of mathematics and the life in China under the Han. The French translation comes with the original text, its pinyin transliteration and a word-by-word translation. 本文對1983-84年出土於張家山的西漢竹簡《算數書》全文進行了介紹、注釋和法文翻譯。《算數書》的發現更新了人們對中國當代數學傳世和出土文獻歷史的了解。本文的翻譯和注釋可以幫助人們更加容易地了解和讀懂《算數書》,並且聯繫了出土文獻考古學、古代漢語研究、數學歷史以及西漢時期的物質生活。本文法文翻譯部分包含了原文、原文的漢語拼音和逐字翻譯。


Book
Écrire, compter, mesurer / 2 : Vers une histoire des rationalités pratiques
Authors: --- --- --- --- --- et al.
ISBN: 2728809925 2728839514 9782728839513 Year: 2021 Publisher: Paris Éditions Rue d’Ulm

Loading...
Export citation

Choose an application

Bookmark

Abstract

Quelles sont les conditions sociales et intellectuelles de la mise en œuvre d’un calcul économique ? Comment rendre compte des aspects cognitifs et rituels des pratiques économiques ? En portant attention aux techniques intellectuelles utilisées par les acteurs économiques, dans leur matérialité même, les chercheurs réunis ici, historiens et anthropologues, ont découvert de surprenantes convergences entre l’histoire des mathématiques chinoises et celle du Moyen Âge occidental, de surprenantes continuités entre les façons de tenir ses comptes du XIIIe au XVIIIe siècle. Ils ont surtout mieux compris l’intérêt de confronter des données issues d’univers sociaux éloignés : loin de tenir pour acquise la partition du monde entre ce qui est économique et ce qui ne l’est pas, leur questionnement porte sur les modalités du calcul pratique et en restitue les cadres rituels et cognitifs.


Book
Inquisitive Logic : Consequence and Inference in the Realm of Questions
Author:
ISBN: 9783031097065 Year: 2022 Publisher: Cham : Springer International Publishing : Imprint: Springer,

Loading...
Export citation

Choose an application

Bookmark

Abstract

This open access book makes a case for extending logic beyond its traditional boundaries, to encompass not only statements but also also questions. The motivations for this extension are examined in detail. It is shown that important notions, including logical answerhood and dependency, emerge as facets of the fundamental notion of entailment once logic is extended to questions, and can therefore be treated with the logician’s toolkit, including model-theoretic constructions and proof systems. After motivating the enterprise, the book describes how classical propositional and predicate logic can be made inquisitive—i.e., extended conservatively with questions—and what the resulting logics look like in terms of meta-theoretic properties and proof systems. Finally, the book discusses the tight connections between inquisitive logic and dependence logic.


Book
Uncertainty in Engineering : Introduction to Methods and Applications.
Authors: --- ---
ISBN: 3030836401 3030836398 Year: 2022 Publisher: Bern Springer Nature

Loading...
Export citation

Choose an application

Bookmark

Abstract

This open access book provides an introduction to uncertainty quantification in engineering. Starting with preliminaries on Bayesian statistics and Monte Carlo methods, followed by material on imprecise probabilities, it then focuses on reliability theory and simulation methods for complex systems. The final two chapters discuss various aspects of aerospace engineering, considering stochastic model updating from an imprecise Bayesian perspective, and uncertainty quantification for aerospace flight modelling. Written by experts in the subject, and based on lectures given at the Second Training School of the European Research and Training Network UTOPIAE (Uncertainty Treatment and Optimization in Aerospace Engineering), which took place at Durham University (United Kingdom) from 2 to 6 July 2018, the book offers an essential resource for students as well as scientists and practitioners.

Keywords

Enginyeria --- Estadística matemàtica --- Probabilitats --- Incertesa --- Incertitud --- Raonament --- Expectatives racionals (Teoria econòmica) --- Càlcul de probabilitats --- Inferència estadística --- Probabilitat --- Combinatòria (Matemàtica) --- Lògica --- Lògica matemàtica --- Anàlisi de sèries temporals --- Correlació (Estadística) --- Descomposició (Matemàtica) --- Distribució (Teoria de la probabilitat) --- Fiabilitat (Enginyeria) --- Funcions característiques --- Geometria estocàstica --- Incertesa (Teoria de la informació) --- Integrals de camí --- Jocs d'atzar (Matemàtica) --- Mitjana (Estadística) --- Probabilitats combinatòries --- Processos estocàstics --- Sort --- Teoremes de límit (Teoria de probabilitats) --- Teoria matemàtica de la comunicació --- Variables aleatòries --- Atzar --- Risc (Economia) --- Teoria ergòdica --- Estadística descriptiva --- Matemàtica estadística --- Mètodes estadístics --- Estadística --- Anàlisi d'error (Matemàtica) --- Anàlisi de regressió --- Anàlisi de variància --- Anàlisi multivariable --- Anàlisi seqüencial --- Astronomia estadística --- Dependència (Estadística) --- Estadística no paramètrica --- Estadística robusta --- Física estadística --- Mètode dels moments (Estadística) --- Models lineals (Estadística) --- Models no lineals (Estadística) --- Teoria de l'estimació --- Teoria de la predicció --- Tests d'hipòtesi (Estadística) --- Biometria --- Mostreig (Estadística) --- Tecnologia --- Arquitectura --- Bioenginyeria --- Biotecnologia --- Ciència dels materials --- Criogènia --- Dibuix industrial --- Enginyeria biomèdica --- Enginyeria civil --- Enginyeria concurrent --- Enginyeria de programari --- Enginyeria de sistemes --- Enginyeria elèctrica --- Enginyeria industrial --- Enginyeria forense --- Enginyeria geotèrmica --- Enginyeria mecànica --- Enginyeria militar --- Enginyeria naval --- Enginyeria química --- Enginyeria sísmica --- Enginyeria de costes --- Informàtica --- Maquinària --- Mesurament --- Normes tècniques --- Oceanografia aplicada --- Resistència de materials --- Tecnologia del vapor --- Història de l'enginyeria --- Mecànica --- Uncertainty quantification --- Engineering applications --- Imprecise Probabilities --- Bayesian Statistics --- Markov Chains --- Reliability --- Complex systems --- Inconsistent information --- Model validation --- Experimental measurements --- Open Access

Listing 1 - 6 of 6
Sort by